<!DOCTYPE html>
<link rel="stylesheet" href="stylesheet.css" type="text/css" charset="utf-8" />
<html>

<head>
  <script src="table.js"></script>
  <script src="data/output.js"></script>
  <script src="data.js"></script>
  <script src="index.js"></script>
  <script src="utils.js"></script>
</head>

<title>Derive Detail</title>

<body onload="loadDeriveDetail()">
  <h2 id="domain_name">Bool</h2>
  <div>
    <h3>LHS Derivability</h3>
    <div class="derive_table" id="lhs_table"></div>
  </div>

  <div>
    <h3>LHS+RHS Derivability</h3>
    <div class="derive_table" id="lhs_rhs_table"></div>
  </div>
</body>